body {
  font-family: Arial;
  font-size: 13px;
}

.editable {
  outline: none;
}

.paragraph {
  padding-bottom: 8px;
}

.source-code {
  color: green;
  font-family: Courier, Courier New, monospace;
  margin: 0;
  padding: 8px;
}

.include {
  color: blue;
  font-family: Courier, Courier New, monospace;
  margin: 0;
  padding: 8px;
} 

pre.include:hover {
  text-decoration: underline;
  cursor: pointer;
}

.small-heading {
  font-weight: bold;
  font-size: 13px;
  padding-bottom: 12px;
}

.heading {
  font-weight: bold;
  font-size: 16px;
  padding-bottom: 12px;
}

.big-heading {
  font-weight: bold;
  font-size: 18px;
  padding-bottom: 12px;
}

.list-item {
  display: list-item;
  margin-left: 1.5em;
  padding-bottom: 8px;
}
